STM: rng sig wf
ABS: |r|
STM: rng car wf
ABS: =
STM: rng eq wf
ABS:
STM: rng le wf
ABS: +r
STM: rng plus wf
ABS: 0
STM: rng zero wf
ABS: -r
STM: rng minus wf
ABS: *
STM: rng times wf
ABS: 1
STM: rng one wf
ABS: r
STM: rng div wf
r